17 results
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005
4 - A formal account of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 82-117
-
- Chapter
- Export citation
7 - Conclusions
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 175-176
-
- Chapter
- Export citation
Preface
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp xi-xiii
-
- Chapter
- Export citation
3 - Productive use of failure
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 54-81
-
- Chapter
- Export citation
6 - From rippling to a general methodology
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 144-174
-
- Chapter
- Export citation
Index
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 200-202
-
- Chapter
- Export citation
5 - The scope and limitations of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 118-143
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp xiv-xiv
-
- Chapter
- Export citation
Appendix 1 - An annotated calculus and a unification algorithm
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 177-189
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp i-vi
-
- Chapter
- Export citation
References
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 193-199
-
- Chapter
- Export citation
2 - Varieties of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 24-53
-
- Chapter
- Export citation
1 - An introduction to rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 1-23
-
- Chapter
- Export citation
Contents
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp vii-x
-
- Chapter
- Export citation
Appendix 2 - Definitions of functions used in this book
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 190-192
-
- Chapter
- Export citation
The Boyer-Moore prover and Nuprl: an experimental comparison
- from Implementations
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 89-119
-
- Chapter
- Export citation